элементарная формула

См. также в других словарях:

• элементарная формула — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN prime formula …   Справочник технического переводчика

• Элементарная ячейка — Элементарная ячейка  в геометрии, физике твёрдого тела и минералогии, в частности при обсуждении кристаллической решётки, минимальная ячейка, отвечающая единичной решёточной точке структуры с трансляционной симметрией в 2D, 3D или других… …   Википедия

• Элементарная дизъюнкция — В логике высказываний элементарной дизъюнкцией называется дизъюнкция литералов: , где   литералы. В англоязычной литературе для обозначения элементарной дизъюнкции используется термин клоз (англ. clause). См. также Элементарная… …   Википедия

• Элементарная конъюнкция — В логике высказываний элементарной конъюнкцией называется конъюнкция литералов: , где   литералы. См. также Элементарная дизъюнкция Дизъюнктивная нормальная форма Конъюнктивная нормальная форма Ссылки …   Википедия

• ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… …   Математическая энциклопедия

• ЛОГИЧЕСКАЯ ФОРМУЛА — выражение в языке формальной логики, являющееся аналогом предложения. Точное определение Л. ф. дается для каждого конкретного логич. языка. Как правило, определение формулы имеет индуктивный характер: выделяется класс выражений, называемых… …   Математическая энциклопедия

• Математическая формула — Эта статья об обозначениях элементарной математики; Для более общего контекста см.: Математические обозначения. Математическая формула (от лат. formula  уменьшительное от forma  образ, вид)  принятая в математике (а также… …   Википедия

• Найквиста формула —         теорема Найквиста, соотношение, определяющее величину тепловых флуктуаций тока или напряжения в электрической цепи. Получена американским физиком Х. Найквистом (Н. Nyquist) в 1928. Согласно Н. ф., обусловленное тепловыми флуктуациями… …   Большая советская энциклопедия

• Центростремительное ускорение — Эту страницу предлагается объединить с Центростремительная сила. Пояснение причин и обсуждение на странице Википедия:К объедин …   Википедия

• РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ — уточнение интуиционистской семантики арифметич. суждений на основе понятия частично рекурсивной функции, предложенное С. Клини (см. [1], [2]). Для всякой замкнутой арифметич. формулы Fопределяется отношение натуральное число ереализует формулу F …   Математическая энциклопедия

• Логика предикатов —         раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… …   Большая советская энциклопедия